Definition of "proper time"

proper time